翻訳と辞書 |
Zeroth-order logic : ウィキペディア英語版 | Zeroth-order logic Zeroth-order logic is first-order logic without variables or quantifiers. Some authors use the phrase "zeroth-order logic" as a synonym for the propositional calculus,〔.〕 but an alternative definition extends propositional logic by adding constants, operations, and relations on non-Boolean values.〔.〕 Every zeroth-order theory in this broader sense is complete and compact.〔 ==References==
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Zeroth-order logic」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|